Verification and Validation of Temporal Business Rules
نویسندگان
چکیده
In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The formalism for expressing the business rules is the Conceptual Rule Language developed as part for the ESPRIT II project TEMPORA.
منابع مشابه
Expanding Database Systems into self-verifying Entities
The paper presents work-in-progress aiming at deploying runtime verification techniques to observe whether state changes in a database system conform with temporal business rules. A high level language for tailoring enterprise database systems with temporal business rules is defined. Furthermore we present an algorithmic framework for checking temporal business rules at runtime, i.e. we recomme...
متن کاملVerifying Compliance of Business Processes with Temporal Answer Sets
In this paper we provide a framework for the specification and the verification of business processes, which is based on a temporal extension of answer set programming (ASP) and we address the problem of verifying the compliance of business processes to norms. The logical formalism we use, is a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL), and allows for a...
متن کاملRuling the Business: About Business Rules and Decision Tables
Business rules have become a common approach to understanding, specifying and implementing business processes. This new approach adds to the work that has been done in knowledge-based systems technology in such areas as knowledge acquisition, modeling, representation, validation and verification, inferencing, etc. Also, the decision table technique is continuously being used (and rediscovered) ...
متن کاملSpecification, Verification and Explanation of Violation for Data Aware Compliance Rules
Compliance checking is becoming an inevitable step in the business processes management life cycle. Languages for expressing compliance requirements should address the fundamental aspects of process modeling, i.e. control flow, data handling, and resources. Most of compliance checking approaches focus on verifying aspects related to control flow. Moreover, giving useful feedback in case of viol...
متن کاملVisually specifying compliance rules and explaining their violations for business processes
A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992